well founded set

整序集